FCT Drive

Login
Disk Usage98.19 GB used of 1 TB
Used: 98.19 GB
925.81 GB available
NameSizeModifiedActions
Abelard's Sentences.sen
877 Bytes2025-08-14
Ackermann's World.wld
82 Bytes2025-08-14
Alan Robinson's Sentences.sen
320 Bytes2025-08-14
Allan's Sentences.sen
136 Bytes2025-08-14
Anderson's First World.wld
160 Bytes2025-08-14
Anderson's Second World.wld
160 Bytes2025-08-14
Aristotle's Sentences.sen
235 Bytes2025-08-14
Arnault's Sentences.sen
468 Bytes2025-08-14
Austin's Sentences.sen
124 Bytes2025-08-14
Bernays' Sentences.sen
173 Bytes2025-08-14
Bernstein's Sentences.sen
578 Bytes2025-08-14
Between Sentences.sen
246 Bytes2025-08-14
Bill's Argument.sen
238 Bytes2025-08-14
Bolzano's World.wld
124 Bytes2025-08-14
Boole's Sentences.sen
1 KB2025-08-14
Boole's World.wld
105 Bytes2025-08-14
Boolos' Sentences.sen
269 Bytes2025-08-14
Bozo's Sentences.sen
708 Bytes2025-08-14
Brouwer's Sentences.sen
568 Bytes2025-08-14
Buridan's Sentences.sen
411 Bytes2025-08-14
Cantor's Sentences.sen
140 Bytes2025-08-14
Cantor's World.wld
78 Bytes2025-08-14
Carnap's Sentences.sen
509 Bytes2025-08-14
Carroll's World.wld
89 Bytes2025-08-14
Church's Sentences.sen
126 Bytes2025-08-14
Claire's World.wld
102 Bytes2025-08-14
CNF Sentences.sen
425 Bytes2025-08-14
Conditional Sentences.sen
169 Bytes2025-08-14
Cooper's World.wld
161 Bytes2025-08-14
DeMorgan's Sentences 2.sen
220 Bytes2025-08-14
DeMorgan's Sentences.sen
248 Bytes2025-08-14
Distributive Sentences.sen
335 Bytes2025-08-14
DNF Example.sen
223 Bytes2025-08-14
Dodgson's Sentences.sen
168 Bytes2025-08-14
Edgar's Sentences.sen
353 Bytes2025-08-14
Edgar's World.wld
91 Bytes2025-08-14
Euler's Sentences.sen
544 Bytes2025-08-14
Finsler's World.wld
160 Bytes2025-08-14
Frege's Sentences.sen
486 Bytes2025-08-14
Game Sentences.sen
309 Bytes2025-08-14
Game World.wld
140 Bytes2025-08-14
Godel's World.wld
102 Bytes2025-08-14
Henkin Construction.sen
292 Bytes2025-08-14
Henkin's Sentences.sen
242 Bytes2025-08-14
Henkin's World.wld
99 Bytes2025-08-14
Hercule's Sentences.sen
623 Bytes2025-08-14
Hilbert's Sentences.sen
1.32 KB2025-08-14
Horn's Other Sentences.sen
151 Bytes2025-08-14
Horn's Sentences.sen
195 Bytes2025-08-14
Jon Russell's Sentences.sen
468 Bytes2025-08-14
Kleene's Sentences.sen
426 Bytes2025-08-14
Kleene's World.wld
95 Bytes2025-08-14
Konig's World.wld
160 Bytes2025-08-14
Leibniz's Sentences.sen
1.81 KB2025-08-14
Leibniz's World.wld
134 Bytes2025-08-14
Lestrade's Sentences.sen
166 Bytes2025-08-14
Lestrade's World.wld
99 Bytes2025-08-14
Lowenheim's Sentences.sen
442 Bytes2025-08-14
Maigret's Sentences.sen
291 Bytes2025-08-14
Maigret's World.wld
119 Bytes2025-08-14
Malcev's World.wld
105 Bytes2025-08-14
Mary Ellen's Sentences.sen
198 Bytes2025-08-14
Mary Ellen's World.wld
79 Bytes2025-08-14
Max's Sentences.sen
704 Bytes2025-08-14
Mixed Sentences.sen
80 Bytes2025-08-14
Montague's Sentences.sen
1.17 KB2025-08-14
Montague's World.wld
82 Bytes2025-08-14
More CNF Sentences.sen
467 Bytes2025-08-14
Mostowski's World.wld
165 Bytes2025-08-14
Null Quantification Sentences.sen
315 Bytes2025-08-14
Ockham's Sentences.sen
401 Bytes2025-08-14
Ockham's World.wld
78 Bytes2025-08-14
Padoa's Sentences.sen
323 Bytes2025-08-14
Peano's Sentences.sen
2.01 KB2025-08-14
Peano's World.wld
150 Bytes2025-08-14
Peirce's Sentences.sen
705 Bytes2025-08-14
Peirce's World.wld
160 Bytes2025-08-14
Post's Sentences.sen
292 Bytes2025-08-14
Ramsey's Sentences.sen
1.05 KB2025-08-14
Ramsey's World.wld
71 Bytes2025-08-14
Reichenbach's World 1.wld
109 Bytes2025-08-14
Reichenbach's World 2.wld
109 Bytes2025-08-14
Robinson's Sentences.sen
484 Bytes2025-08-14
Ron's World.wld
166 Bytes2025-08-14
Russell's Sentences.sen
588 Bytes2025-08-14
Russell's World.wld
88 Bytes2025-08-14
Schonfinkel's Sentences.sen
849 Bytes2025-08-14
Schroder's Sentences.sen
424 Bytes2025-08-14
Sextus' Sentences.sen
299 Bytes2025-08-14
Sheffer's Sentences.sen
245 Bytes2025-08-14
Sherlock's Sentences.sen
216 Bytes2025-08-14
Sherlock's World.wld
99 Bytes2025-08-14
Skolem's Sentences.sen
284 Bytes2025-08-14
Skolem's World.wld
99 Bytes2025-08-14
Socrates' Sentences.sen
1.8 KB2025-08-14
Socrates' World.wld
125 Bytes2025-08-14
Thoralf's First World.wld
78 Bytes2025-08-14
Thoralf's Second World.wld
68 Bytes2025-08-14
Turing's Sentences.sen
377 Bytes2025-08-14
Venn's World.wld
105 Bytes2025-08-14
Weiner's Sentences.sen
555 Bytes2025-08-14
Whitehead's Sentences.sen
543 Bytes2025-08-14
Wittgenstein's Sentences.sen
942 Bytes2025-08-14
Wittgenstein's World.wld
135 Bytes2025-08-14
World Submit Me 1.wld
68 Bytes2025-08-14
Zorn's Sentences.sen
325 Bytes2025-08-14